Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
661	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
662	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
663	Your System is Secure? Prove it! Gernot Heiser NICTA∗ and University of New South Wales and Open Kernel Labs Sydney, Australia [removed] Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:41 Evaluation Formal methods Microkernel L4 microkernel family Trusted computing base Gernot Heiser Formal verification Kernel Evaluation Assurance Level Computer architecture System software Computing
664	SC234, LL76 and MPC96 SC234 Initial Statutory Surveys at New Construction (cont) (Apr[removed]Corr.1 Jul Add to Reading List Source URL: www.iacs.org.uk Language: English - Date: 2015-01-20 10:47:07 Software testing Pharmaceutical industry Validity Lifeboat Navigation Test plan Survival suit Verification and validation Fire extinguisher Systems engineering Technology Safety
665	Background and Guidance Document Add to Reading List Source URL: www.fwpa.com.au Language: English - Date: 2014-05-23 03:43:32 Academia Verification and validation Grade Lumber Grading Reliability engineering Verification Software development process Education Systems engineering Knowledge
666	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family
667	Academy of Motion Picture Award Chris Cooper Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:55 NICTA Gernot Heiser Dante L4 microkernel family International Conference on Computer Vision Future Internet Information and communication technologies in education Armadillo Formal verification Software Science Computing
668	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
669	UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Formal methods Automated theorem proving Proof assistant ACL2 KeY Theorem Isabelle Mathematical logic Formal verification Mathematics Theoretical computer science Mathematical software
670	Microsoft Word - RST_D54 - Aggregated test report_v1.0.doc Add to Reading List Source URL: tn-its.eu Language: English - Date: 2014-05-27 17:02:13 Statistics Pharmaceutical industry Validity Quality control Systems engineering Validation Test method Software development process Verification Science Measurement Software testing

UPDATE